for ((a(b in c))[1] in d) ;
